指数対象 (直積をもつ圏)
exponential object
冪対象
直積を持つ圏$ C において
指数対象$ z^y
$ \left[ y,z \right] と書くこともある
函手$ \_×y から
$ z への普遍射$ \left\lang z^y,\mathrm{eval} \right\rang のこと
ここで$ \mathrm{eval}\colon z^y×y→z は評価射 evaluator
gen.icon 指数対象
Ref.icon 冪対象 - Wikipedia